The Corporation 10 Years On

Informatics 10 Years Back , 10 Years Ahead

Interpretation is a theory of approximation of the be— havior of dynamic discrete systems such as the formal seman­ tics ofprograms. Since such behaviors can be characterized by fixpoints, the theory essentially provides constructive and ef— fective methods for fixpoint approximation and checking by abstraction. Non—conventionalapplications of abstract interpretation in— clude the design of hie...

Microprocessors - 10 Years Back, 10 Years Ahead

Critical Care – 10 years on

When Critical Care's first issue was published we were on the brink of the electronic revolution. In the same year the number of online websites reached 1 million (a mere fraction of the vast resources now available) and for the first time more e-mails were sent than letters [1]. The Internet was swiftly seeping into mainstream use. The initial concept behind Critical Care was to make the most ...

Trial registration 10 years on.

This monthmarks the tenth anniversary of the landmark decision by the International Committee of Medical Journal Editors to make journals require “registration of any clinical trials in a public trials registry at or before the time of first patient enrolment as a condition of consideration for publication.” It has been a long journey. The idea of prospective registration was first suggested in...

Rural Tourism — 10 Years On

The rural, a diminishing global resource, provides us with an increasingly important environment for tourism. On the supply side, its impacts, both positive and negative, are well documented, widely debated and the subjects of an increasing literature. Often overlooked, however, are the benefits to rural visitors, the welfare effects of improved mental and physical well-being that are the widel...